Jacobs, Swen: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Comparing Instance Generation Methods for Automated Reasoning

Swen Jacobs, Uwe Waldmann

Journal:

Journal of Automated Reasoning

Year:

2007

Language:

english

File:

PDF, 413 KB

english, 2007

2

Decidability of Parameterized Verification

Bloem, Roderick, Jacobs, Swen, Khalimov, Ayrat, Konnov, Igor, Rubin, Sasha, Veith, Helmut, Widder, Josef

Journal:

Synthesis Lectures on Distributed Computing Theory

Year:

2015

Language:

english

File:

PDF, 1.40 MB

english, 2015

3

Sonography and magnetic resonance imaging equivalent for the assessment of full-thickness rotator cuff tears

Wijnand A. A. Swen, Johannes W. G. Jacobs, Paul R. Algra, Radu A. Manoliu, Jan Rijkmans, Willem J. Willems, Johannes W. J. Bijlsma

Journal:

Arthritis & Rheumatism

Year:

1999

Language:

english

File:

PDF, 381 KB

english, 1999

4

Is radiation synovectomy for arthritis of the knee more effective than intraarticular treatment with glucocorticoids? Results of an eighteen-month, randomized, double-blind, placebo-controlled, crossover trial

Zalima N. Jahangier, Johannes W. G. Jacobs, Floris P. J. G. Lafeber, Jan D. Moolenburgh, Wijnand A. A. Swen, George A. W. Bruyn, Ed N. Griep, Evert-J. ter Borg, Johannes W. J. Bijlsma

Journal:

Arthritis & Rheumatism

Year:

2005

Language:

english

File:

PDF, 108 KB

english, 2005

5

Applications of Hierarchical Reasoning in the Verification of Complex Systems

Swen Jacobs, Viorica Sofronie-Stokkermans

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 337 KB

english, 2007

6

Clinical effect of radiation synovectomy of the upper extremity joints: a randomised, double-blind, placebo-controlled study

F. M. van der Zant, Z. N. Jahangier, J. D. Moolenburgh, W. A. A. Swen, R. O. Boer, J. W. G. Jacobs

Journal:

European Journal of Nuclear Medicine and Molecular Imaging

Year:

2007

Language:

english

File:

PDF, 114 KB

english, 2007

7

Can simple ultrasonography predict the clinical effect of intra-articular injection therapy of the knee joint?

Zalima N. Jahangier, Johannes W. G. Jacobs, Wijnand A. A. Swen, Jan D. Moolenburgh, George A. W. Bruyn, Eduard N. Griep, Johannes W. J. Bijlsma

Journal:

Clinical Rheumatology

Year:

2011

Language:

english

File:

PDF, 195 KB

english, 2011

8

The first reactive synthesis competition (SYNTCOMP 2014)

Jacobs, Swen, Bloem, Roderick, Brenguier, Romain, Ehlers, Rüdiger, Hell, Timotheus, Könighofer, Robert, Pérez, Guillermo A., Raskin, Jean-François, Ryzhyk, Leonid, Sankur, Ocan, Seidl, Martina, Tentru

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2017

Language:

english

File:

PDF, 987 KB

english, 2017

9

The effect of epidermal levels of urocanic acid on 25-hydroxyvitamin D synthesis and inflammatory mediators upon narrowband UVB irradiation

Landeck, Lilla, Jakasa, Ivone, Dapic, Irena, Lutter, René, Thyssen, Jacob P, Skov, Lone, Braun, Andrea, Schön, Michael P, John, Swen M, Kezic, Sanja, Brans, Richard

Journal:

Photodermatology, Photoimmunology & Photomedicine

Year:

2016

Language:

english

File:

PDF, 402 KB

english, 2016

10

SAT0587 Additional Value of Baseline Ultrasonography in Early RA to Predict Failure to Reach DAS 28 Remission After 1 Year of Tight-Control Treatment

Ten Cate, D.F., Jacobs, J.W., Swen, W.A., Hazes, J.M., De Jager, M.H., Basoski, N.M., Haagsma, C.J., Luime, J.J., Gerards, A.H.

Journal:

Annals of the Rheumatic Diseases

Year:

2015

Language:

english

File:

PDF, 92 KB

english, 2015

11

SAT0586 Ultrasonographic Signs Of Inflammation of Metatarsophalangeal Joints in Rheumatoid Arthritis Patients who are Treated to Target

van der Ven, M., Ten Cate, D., Gerards, A., Jacobs, H., Swen, N., de Jager, M., Basoski, N., Haagsma, C., Hazes, M., Luime, J.

Journal:

Annals of the Rheumatic Diseases

Year:

2015

Language:

english

File:

PDF, 139 KB

english, 2015

12

AB1248 Which joints to scan by sonography to aid diagnosing early RA and remission of RA? a systematic literature review

Ten Cate, D.F., Luime, J., Swen, N., Gerards, A., de Jager, M., Basoski, N., Hazes, J.M., Haagsma, C., Jacobs, J.W.

Journal:

Annals of the Rheumatic Diseases

Year:

2013

Language:

english

File:

PDF, 46 KB

english, 2013

13

Can baseline ultrasound results help to predict failure to achieve DAS28 remission after 1 year of tight control treatment in early RA patients?

Ten Cate, D. F., Jacobs, J. W. G., Swen, W. A. A., Hazes, J. M. W., de Jager, M. H., Basoski, N. M., Haagsma, C. J., Luime, J. J., Gerards, A. H.

Journal:

Arthritis Research & Therapy

Year:

2018

Language:

english

File:

PDF, 499 KB

english, 2018

14

Distributed synthesis for parameterized temporal logics

Jacobs, Swen, Tentrup, Leander, Zimmermann, Martin

Journal:

Information and Computation

Year:

2018

Language:

english

File:

PDF, 637 KB

english, 2018

15

A symbolic algorithm for lazy synthesis of eager strategies

Jacobs, Swen, Sakr, Mouhammad

Journal:

Acta Informatica

Year:

2019

Language:

english

File:

PDF, 773 KB

english, 2019

16

A symbolic algorithm for lazy synthesis of eager strategies

Jacobs, Swen, Sakr, Mouhammad

Journal:

Acta Informatica

Year:

2019

File:

PDF, 773 KB

2019

17

Parameterized synthesis of self-stabilizing protocols in symmetric networks

Mirzaie, Nahal, Faghih, Fathiyeh, Jacobs, Swen, Bonakdarpour, Borzoo

Journal:

Acta Informatica

Year:

2019

File:

PDF, 714 KB

2019